As of November last year, the city saved more than €11.7 million (US$16.1 million) because of the switch. More recent figures were not immediately available, but cost savings were not the only goal of the operation. It was also done to be less dependent on manufacturers, product cycles and proprietary OSes, the council said Thursday.